.source-loc {
  padding-left: 12px;
  background-repeat: no-repeat;
  background-image: url("../../images/source-loc.svg");
  background-size: 10px;
  background-position: 0px center;
  cursor: default;
}
.source-loc_unresolved {
  background-image: none;
}
.source-loc:hover {
  color: #7caf46;
}
.source-loc_openable {
  text-decoration: underline;
  text-decoration-style: dotted;
  cursor: pointer;
}
.source-loc_openable:not(:hover) {
  text-decoration-color: #8886;
}
a.source-loc {
  color: unset;
  background-image: url("../../images/source-loc-open.svg");
  background-size: 9px;
  background-position: 1px center;
}
